Formal language

Results: 1838



#Item
161Ontology / Knowledge representation / Knowledge engineering / Information science / Technical communication / Frame language / Wireless sensor network / Upper ontology / Formal ontology

Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA

Add to Reading List

Source URL: ncgia.buffalo.edu

Language: English - Date: 2016-05-18 12:38:25
162Ontology / Knowledge representation / Semantic Web / Information science / Technical communication / Upper ontology / WordNet / Cyc / Descriptive Ontology for Linguistic and Cognitive Engineering / Web Ontology Language / Draft:Outline of ontologies / Formal ontology

1 Automatic Ontology Matching Via Upper Ontologies: A Systematic Evaluation Viviana Mascardi, Angela Locoro, Paolo Rosso Abstract—“Ontology matching” is the process of finding correspondences between entities belo

Add to Reading List

Source URL: www.disi.unige.it

Language: English - Date: 2009-08-24 06:11:29
163Mathematical markup languages / Markup languages / OpenMath / Exercise / Natural language generation / Formula editor / Sentence / Formal language

WExEd - WebALT Exercise Editor for Multilingual Mathematics Exercises Arjeh Cohen? Hans Cuypers?

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2005-12-08 03:02:19
164Formal languages / Compiler construction / Natural language parsing / Parsing / Linguistics / SYNTAX / Earley parser / Chart parser / Foma / Formal grammar / Lexical analysis / Stochastic context-free grammar

Preliminary Results from the Free Linguistic Environment Project Abstract We present ongoing work related to the Free Linguistic Environment (FLE) project, a grammar engineering platform for Lexical

Add to Reading List

Source URL: nlp.ipipan.waw.pl

Language: English - Date: 2016-07-16 06:55:54
165Operations research / Compiler construction / Formal languages / Machine learning / Dependency grammar / Natural language parsing / LL parser / Integer programming / Parsing / Linear programming / Context-free grammar / Conditional random field

Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-07-30 17:51:06
166Philosophical logic / Semantics / Theories of truth / Philosophy of language / Meaning / Truth / Predicate

Chapter 8 A general theory of singularities: Preliminaries I turn now to a general theory of singularities. This chapter covers some preliminary matters, and the formal theory is presented in the next chapter.

Add to Reading List

Source URL: www.keith-simmons.com

Language: English - Date: 2012-09-23 15:30:59
167Syntax / Dependency grammar / Natural language parsing / Formal languages / Grammar / Valency / Context-free grammar / Homography

Proceedings of Formal Grammar 2004 Gerhard J¨ ager, Paola Monachesi, Gerald Penn and Shuly Wintner

Add to Reading List

Source URL: cavar.me

Language: English
168Grammar / Linguistics / Syntax / Noam Chomsky / Generative linguistics / Metalanguage / Language / Transformational grammar / Branching / Generative grammar / Argument / Minimalist program

To appear in a Festschrift Functionalism and the Metalanguage - Theory Confusion Matthew S. Dryer University at Buffalo 0. Introduction It is often said that many functional linguists lack a ‘theory’. Within formal

Add to Reading List

Source URL: linguistics.buffalo.edu

Language: English - Date: 2005-03-31 18:21:23
169Semantic Web / Ontology / Knowledge engineering / Information science / Technical communication / Resource Description Framework / Web Ontology Language / Formal ontology / AllegroGraph / RDF Schema / SPARQL / Triplestore

Microsoft Word - NLA-monographdoc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-06-14 11:33:00
170Ontology / Upper ontology / Open Biomedical Ontologies / OBO Foundry / Web Ontology Language / Formal ontology / Gene ontology / Barry Smith / Suzanna Lewis / Semantic reasoner / Lightweight ontology / Draft:Outline of ontologies

BioTop and ChemTop – Top-Domain Ontologies for Biology and Chemistry Holger Stenzhorn Stefan Schulz Elena Beißwanger

Add to Reading List

Source URL: www2.imbi.uni-freiburg.de

Language: English - Date: 2008-09-03 15:49:13
UPDATE